integration of 1 by cos square x